Machine learning, IoT and big data for energy efficiency: a use case