Nonlinear contact problems—A finite element approach implemented in ADINA