Modeling and simulation of HVAC faults in EnergyPlus