red-black tree finished