Applications of Big Data and Artificial Intelligence in Smart Energy Systems