Optimization of Aggregate Capacity of PEVs for Frequency Regulation Service in Day-Ahead Market | Synapse