Rigorous, data-driven analysis for election infrastructure