Randomized algorithms and skip lists