Timsort — the fastest sorting algorithm you’ve never heard of