Experimentally Verified Optimal Serpentine Gait and Hyperredundancy of a Rigid-Link Snake Robot