External quicksort