Interactive Optimization of Electric Bus Scheduling and Overnight Charging | Synapse