Residential HVAC Fault Detection: Field Data Analysis and Interviews with Smart Thermostat Manufacturers