Mathematical Modeling and Experimental Evaluation of Optimal Agendas and Procedures for N-Issue Negotiation