RECIFE-MILP: An Effective MILP-Based Heuristic for the Real-Time Railway Traffic Management Problem | Synapse