Routing Trains Through Railway Stations: Model Formulation and Algorithms · Study