A Truly Concurrent Semantics for the K Framework Based on Graph Transformations