Chance-Constrained Model for Electric Bus Scheduling — INKHUB