Marsquake locations and 1-D seismic models for Mars from InSight data