Mathematical Modeling and Dynamic Simulation of Frog Jumping for Bio-Inspired Robotics | Synapse