Parametric Mechanism Design via Quantifier Elimination ∗ ( Extended Abstract )