python怎么统计txt字数