Graph Edit Distance—Theory, Algorithms, and Applications