python格式化字符串和转义字符