added method for AVL tree: height(), isBalanced()