A metric normalization of tree edit distance