Does Democratization Reduce the Risk of Military Interventions in Politics in Africa?