Real-Time Scheduling for Peak Load Reduction in a Large Set of Heating, Ventilation and Air-Conditioning loads