python拆分字符串数字