Train Service Design for Rail Transit Cross-Line Operation Applying Virtual Coupling | Synapse