Space-Borne GNSS-R Signal over a Complex Topography: Modeling and Validation