Diplomacy Games: Formal Models and International Negotiations