splay tree revisited