A Query Language for XML Based on Graph Grammars