High Quality Document Image Compression with DjVu July 13, 1998