数控线切割是利用工具对工件进行（）去除金属的。