Migrating Library Data: A Practical Manual