Demand Response in Smart Districts: Model Predictive Control of Building Cooling