MARSIS, a radar for the study of the Martian subsurface in the Mars Express mission