red-black tree augmentation