Integrated HVAC management and optimal scheduling of smart appliances for community peak load reduction