Why Oxford's John Lennox Wrote a Book on AI Promises and Threats