An Innovation-Based Methodology for HVAC System Fault Detection