A (Sub)Graph Isomorphism Algorithm for Matching Large Graphs