Evidence-based analysis to help decision makers understand how electoral systems work in practice, using math, code, simulation, and historical data