Differentiable physics for robotics