Elections, political parties, and civil war∗