Tamaño del mercado de minería subterránea, participación, crecimiento y análisis de la industria, por tipo (minería de roca dura, minería de roca blanda, minería de tajo largo, minería de cuartos y pilares), por aplicación (aplicaciones), información regional y pronóstico para 2033