python格式化输出的方式