trees: height of the binary tree