Modeling and Experimental Validation of the Locomotion of Endoscopic Robots in the Colon | Synapse