Formalizace řešení přidělení náhradní nástupištní koleje pro zpožděný vlak