A Joint Scheduling Framework for Electric Bus Fleets and Charging Infrastructure in Urban Transit Systems | Synapse