Cahn-Hilliard-Navier-Stokes Turbulence: Physics, Numerical Simulations, and Mathematics