A High-Level Approach to Analyze the Effects of Soft Errors on Lossless Compression Algorithms