Algorithms in the Fight against Terrorist Networks