Differential variational–hemivariational inequalities with application to contact mechanics. (June 2023)