Bottom-up Subtree Isomorphism for Unordered Labeled Trees