Formal and quantitative methods in the study of decision-making in the EU Council, advances in formal and quantitative methodology.