Resolution Proof Transformation for Compression and Interpolation