Management of hybrid energy supply systems in buildings using mixed-integer model predictive control. (1st July 2015)