The Dynamics of Vertical Running: Analysis and Robotic Implementation