Analysis of skip lists