Probabilistic voting theory