A non-random Quicksort implementation