如何使用Python从字符串中提取数字?