This does not seem to be documented anywhere. For MultiIndex, how is `.is_monotonic_increasing `different from `.is_lexsorted`?