On the detection of normal modes using InSight and their use in constraining Mars’ seismic structure | Synapse