Can data mining turn up terrorists? Probably not, but operations research can still play a role in helping to uncover terrorist plots