How Experts Detect Hidden Gas Leaks in Homes