T-Test for Terrorism: Did the Introduction of Proportional Representation Reduce the Terrorist Threat? A Time-Series Case Study of Algeria and Northern Ireland