Dispatching and coordination in real-time railway traffic management