AIと自動化のグローバル鉱山ロボット市場の影響