BigDog: The US Military’s Robotic Pack Mule