Modeling multi-legged robot locomotion with slipping and its experimental validation