AI和自动化的全球剪线EDM机器市场影响