Integral Equation Model of the Martian Surface Layer for the Detection of Buried Ice Deposits in Support of the International Ice Mapping Mission Synthetic Aperture Radar | IEEE Conference Publication | IEEE Xplore