Machine Learning and Gas Leak Detection