Modeling Battery Degradation for Electric Buses: Assessment of Lifespan Reduction from In-Depot Charging