Constraints on the Martian lithosphere from gravity