Distributed optimization for real-time railway traffic management