doi dblp A text Compression Scheme that Allows Fast Searching Directly in the Compressed File Udi Manber 1997 Volume 15 Issue 2