A Review of Reinforcement Learning Applications to Control of Heating, Ventilation and Air Conditioning Systems