Thickness and structure of the martian crust from InSight seismic data