Recording Earthquakes in the Oceans for Global Seismic Tomography by Freely-Drifting Robots