Mathematical Programming Approach to Underground Timetabling Problem for Maximizing Time Synchronization | Synapse