deteccion gases explosivos mineria