Generation of optimal schedules for metro lines using model predictive control