[2404.02887] Learning Quadrupedal Locomotion via Differentiable Simulation