Mars mission to measure “marsquakes”