game theory in operation research