Optimization for Charging Scheduling in Electric Bus System | Synapse