python的两种字符串格式化输出