Crossword software thrashes human challengers