John Lennox: Artificial intelligence and morality