Skip Lists Done Right (ticki.github.io)