Statistics for Smart campus: Data on energy consumption in an ICT-driven university