On the Structure of Game Provenance and its Applications