Design and Experimental Verification of a Jumping Legged Robot for Martian Lava Tube Exploration