AIと自動化のグローバルな坑口コントロールパネル市場の影響