Democracy in Divided Societies: Electoral Engineering for Conflict Management (Theories of Institutional Design)