Specification of DjVu Image Compression Format