Electric Vehicle Aggregator/System Operator Coordination for Charging Scheduling and Services Procurement | Synapse