Event structures and orthogonal term graph rewriting