Graphical verification of numerically controlled milling programs for sculptured surfaced parts