Python,格式化输出字符串,format()