用python正则表达式提取字符串