Simulation and verification of parametric numerical control programs using a virtual machine tool