The RW2 Algorithm for Exact Graph Matching