A Model Predictive Approach for Ventilation System Control in Energy Efficient Buildings