A Simulation Method for Methane Leak Detection and Repair Technologies