probabilistic voting theory