NOVA: A Novel and Efficient Framework for Finding Subgraph Isomorphism Mappings in Large Graphs