Randomized selection on the GPU