Lateral eddy mixing in the subtropical salinity maxima of the global ocean