AIと自動化のグローバルインテリジェンス鉱山ソリューション市場の影響