Virtual-Coupling-Based Timetable Rescheduling for Heavy-Haul Railways Under Disruptions | Synapse