Optimal Scheduling of Air Conditioners for Energy Efficiency