Fairness, Efficiency and Democracy Deficit: Combinatorial Methods and Probabilistic Analysis on the Design of Voting Systems