A comprehensive comparison of water jet cutting and laser cutting in CNC machining