python读取字符串中的数字