Modeling Charging Demand and Quantifying Flexibility Bounds for Large-Scale BEV Fleets | Synapse