python字符串替换之re.sub()