Modeling Demand Response Using Utility Theory and Model Predictive Control