Optimal electric bus scheduling considering battery degradation effect and charging facility capacity | Synapse