Role of Gas Detectors in Mines