Combining knowledge and historical data for system-level fault diagnosis of HVAC systems