Python,字符串,格式化