Cahn–Hilliard–Navier–Stokes systems with moving contact lines