Formulation of kinematics and gait locomotion for Hyper-Redundant robot. (2022)