A visual language for representing and explaining strategies in game theory