PROPAGATION MODELING FOR GPR EXPLORATION OF MARTIAN SUBSURFACE