A Framework for Verifying the Fixity of Archived Web Resources