A multi-criteria decision support methodology for real-time train scheduling