Model predictive control of building energy systems with thermal energy storage in response to occupancy variations and time-variant electricity prices