How can building information modeling (BIM) be used to optimize the design and operation of HVAC systems for energy efficiency and occupant comfort?