Splay trees as priority queues