CPS Modeling of CNC Machine Tool Work Processes Using an Instruction-Domain Based Approach