Arc tool path generation algorithm in polyhedral machining