Thickness of the magnetic crust of Mars