Model-based operational control of railway networks