Compliant Rigid Body Contact And Differentiable Physics Simulation