Explosive atmospheres - Gas detectors. Selection, installation, use and maintenance of detectors for flammable gases and oxygen