SQL, MySQL: Import an sql file into an empty database