Estimating Mixed Layer Depth from Oceanic Profile Data