Fault Detection in HVAC Systems Using Model-Based Feedforward Control