An optimal definition for ocean mixed layer depth | Synapse