Integrating train scheduling and delay management in real-time railway traffic control