A dynamic Optimization Model of service elasticity for an automatic driverless metro