python中格式化输出字符串使用format()函数