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