Leveraging existing occupancy-related data for optimal control of commercial office buildings: A review. (August 2017)