Mars could have an ocean's worth of water beneath its surface, seismic data suggest