The optimisation of train operation schedule for passenger-freight mixed transportation in urban rail transit: a case study of Shanghai metro | Synapse