Coreflective Concurrent Semantics for Single-Pushout Graph Grammars