Noise compression reduces RAW files down to a tenth of their size