グローバル垂直リング高勾配磁気セパレーター市場AIと自動化の影響