Discretisation techniques for large deformation computational contact elastodynamics