A robotic colonoscope with double balloons: Analysis, Design, and Experiments