Сборники русских пословиц и поговорок первой половины XVIII века как историко-лексикографический источник