An Analytical Polytope Approximation Aggregation of Electric Vehicles Considering Uncertainty for the Day-Ahead Distribution Network Dispatching | Synapse