Research on an Optimization Method for Metro Train Formation Based on Virtual Coupling Technology | Synapse