Measured reductions in electricity use for cooling due to model predictive control of natural ventilation