Dynamic modeling and analysis of pitch motion of a basilisk lizard inspired quadruped robot running on water.