python实现字符串格式化