Dynamic Modeling, Stability, and Energy Efficiency of a Quadrupedal Walking Machine