Interval+—An Index Structure on Compressed XML Data Based on Interval Tree