python3 正则 切分字符串