mysql 从字符串中抽取数值