Quantitative Risk Analysis for Elections