Real-time Scheduling Techniques for Electric Vehicle Charging in Support of Frequency Regulation.