skilled worker controlling a digitally programmed machine tool