Dynamic modeling and analysis of an in-space cable-driven manipulator for on-orbit servicing (Chinese Journal of Aeronautics, 2025)