Text this: Discretisation techniques for large deformation computational contact elastodynamics