Rope Modeling and Verification for the Robotic Platform of the Wall Cleaning Robot (ROPE RIDE)