Mapping the seismicity of Mars with InSight