グローバル5軸ウォータージェット切断機械市場AIと自動化の影響