Modeling and experimental validation of the locomotion of endoscopic robots in the colon