Error Modeling and Analysis for InSAR Spatial Baseline Determination of Satellite Formation Flying. (2nd April 2012)