Bilevel Mixed-Integer Model and Efficient Algorithm for DER Aggregator Bidding: Accounting for EV Aggregation Uncertainty and Distribution Network Security | Synapse