python 格式化 字符串 操作符（%）