python学习笔记：字符串格式化