Strengths and Weaknesses of the different contact formulations available in explicit software from Altair Engineering