A context-driven platform using Internet of things and data stream processing for heating, ventilation and air conditioning systems control