Mixed layer depth over the global ocean: An examination of profile data and a profile-based climatology