Modeling elections; running voting protocols to calculate voter satisfaction