Compressing video files for archiving