An efficient cutter-facet model projection method and applications to five-axis tool path computation | Synapse