Design of an Online Optimisation Tool for Smart Home Heating Control