An exact optimization method for coordinating the arrival times of urban rail lines at a common corridor