python统计字符串中数字个数