Working out how many undercover officers worked for Britain's political police units, with a list of names of those that are known