An adaptive-grid formalism for traveltime tomography | Synapse