Electric bus system design reliable against stochastic power grid load shedding and uncertain charging efficiency | Synapse