Restoring a single database from a complete MySQL database dump