Implicit nonlinear complementarity: A new approach to contact dynamics