Generation Scheduling For Power Systems With Demand Response And A High Penetration of Wind Energy