Evaluating Procedural Alternatives: a Case Study in e-Voting