A short history of AI, and what it is (and isn't)