John Lennox: Should We Fear Artificial Intelligence?