sorting: get best of three random pivots for quicksort