Tamanho do mercado de automação de mineração, participação e análise da indústria, por tipo, por oferta, por aplicação (manutenção de minas) e previsão regional, 2026-2034