Devious humour and painful puns: will the cryptic crossword remain the last thing AI can't conquer?