Modeling and In-flight Torso Attitude Stabilization of a Jumping Quadruped