Informers, Agents, the IRA and British Counter-Insurgency Strategy during the Northern Ireland Troubles, 1969 to 1998