How to compress files into 7-zip (7z) archives?