Mathematics, word problems, common sense, and artificial intelligence