Energy management of a building cooling system with thermal storage: a randomized solution with feedforward disturbance compensation.