A Global Ocean Model with Double-Diffusive Mixing