mysql类型转换函数convert与cast的用法