python格式化输出之format用法