Chance-constrained battery management for electric bus scheduling | Synapse