On the Representation of Isentropic Mixing in Ocean Circulation Models