Multi-body Dynamic Modeling of Multi-legged Robots