Short-term forecasting for the electrical demand of Heating, Ventilation, and Air Conditioning systems