怎么在mysql命令行执行一个sql文件