python 写文件 格式化