Tamaño del mercado de minería verde, participación y análisis de la industria, por tipo (minería de superficie y minería subterránea), por tecnología (reducción de energía, reducción de combustible y mantenimiento, reducción de emisiones, reducción de agua y otras) y pronóstico regional, 2025-2032