Upper mantle structure of Mars from InSight seismic data | Synapse