Game-theoretic models of bloc-voting under proportional representation