Industrial gas leak detectors