Efficient Modeling Of Multi-Legged Locomotion With Slipping