Latitude‐dependent vertical mixing and the tropical thermocline in a global OGCM