Electromagnetic propagation modelling for GPR exploration of Martian subsoil