マイニング市場規模、シェア、成長、および業界分析、タイプ（ソフトウェア、ハードウェア、ソリューション）、アプリケーション（地下採掘＆オープンピットマイニング）、地域の洞察と2032年までのデジタル化