Travel time tomography with local image regularization by sparsity constrained dictionary learning