Lexicography, with particular reference to English learners' dictionaries