A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation