Detección de incendios y gases inflamables, Extinción por gases