Tamaño del mercado de detectores de gas para minería, participación, crecimiento y análisis de la industria, por tipo (tipo estacionario, tipo portátil), por aplicación (minería a cielo abierto, minería subterránea), información regional y pronóstico para 2035