Thermodynamically consistent Cahn-Hilliard-Navier-Stokes equations using the metriplectic dynamics formalism | Synapse