Звук марсотрясения, миссия InSight