如何从Python中的字符串获取整数值?