Certified space curve fitting and trajectory planning for CNC machining with cubic B-splines. (January 2019)