Axiomatic Theory of Bargaining with a Variable Number of Agents