Algebraic comparison of metabolic networks, phylogenetic inference, and metabolic innovation