A self-balancing binary tree with amortised access