You need to restore a MySQL database from a backup file. Which command-line tool do you use for the actual data import, after re-creating the database?