Randomized quicksort