python 字符串格式化的示例