Evaluating procedural alternatives: a case study in e-voting