Machine Learning and Data Analysis for Energy Efficiency in Buildings : Intelligent Operation, Maintenance, and Optimization of Building Energy Systems