Deployment of electric buses: planning the fleet size and type, charging infrastructure and operations with an op-timization-based model