A Thermal Control Methodology Based on a Machine Learning Forecasting Model for Indoor Heating