Martian Infrasound: Numerical Modeling and Analysis of InSight's Data | Synapse