Indoor Air-Temperature Forecast for Energy-Efficient Management in Smart Buildings