Why does Timsort perform especially well on partially sorted data?