TraceWalk: Semantic-based Process Graph Embedding for Consistency Checking