Python提取用户输入的字符串中的数字