AIと自動化のグローバルマイニング機器と機械市場の影響