Contact Formulations and Numerical Methods in Abaqus/Standard Contact Formulations and Numerical Methods in Abaqus/Explicit