Gravar-mail: An approach to optimised control of HVAC systems in indoor swimming pools