Evaluating Procedural Alternatives. A Case Study in E-Voting