Roomzoner: Occupancy-based room-level zoning of a centralized HVAC system