Control of Naturally Ventilated Buildings: a Model Predictive Control Approach