グリーンマイニング市場規模、シェア、業界分析、タイプ別（露天掘りと地下採掘）、テクノロジー別（電力削減、燃料とメンテナンスの削減、排出量削減、水削減など）、および地域予測、2024～2032年