Normal Compliance Contact Models with Finite Interpenetration