Geometrically exact three-dimensional modeling of cable-driven parallel manipulators for end-effector positioning