A Stochastic Methodology for EV Fast-Charging Load Curve Estimation Considering the Highway Traffic and User Behavior | Synapse