Constructing a binary tree from a postorder visit