python读取文本文件的open()函数