A Mathematical Programming Formulation for Optimal Load Shifting of Electricity Demand for the Smart Grid | IEEE Journals & Magazine | IEEE Xplore