Dynamic modeling of a basilisk lizard inspired quadruped robot running on water.