AVL Search trees: Height-balanced binary trees