Automating Reformulation of Essence Specifications via Graph Rewriting