Precise algebraic-based swept volumes for arbitrary free-form shaped tools towards multi-axis CNC machining verification. (September 2017)