ADD: Analytically Differentiable Dynamics for Multi-Body Systems with Frictional Contact.