Tamanho do mercado, compartilhamento e indústria de equipamentos de mineração subterrânea, por tipo de equipamento, por método de mineração, por aplicação e previsão regional, 2025-2032