tamaño del mercado de detección de gas portátil