A startup that uses artificial intelligence to stop banks dealing with terrorists raised 8.2 million