Formal models of group decision making