Semantic Models and Reasoning for Building System Operations: Focus on Knowledge-Based Control and Fault Detection for HVAC