A radargrammetric model for SAR stereo pairs in spotlight mode