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