基于VERICUT的四轴联动数控机床仿真研究