A Sequential Modelling Approach for Indoor Temperature Prediction and Heating Control in Smart Buildings