Modelling seismic recordings of high-frequency guided infrasound on Mars