Joint optimization of train scheduling and rolling stock utilization planning: a virtual composition mode | Synapse