Tamanho do mercado de detectores de gás de mineração, participação, crescimento e análise da indústria, por tipo (tipo estacionário, tipo portátil), por aplicação (mineração a céu aberto, mineração subterrânea), insights regionais e previsão para 2035