Compression of SAR raw data through range focusing and variable-rate trellis-coded quantization