Evaluating Voting Systems with Probability Models