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