python 格式化输出百分号的方法