Pošljite SMS: A Bayesian linear model for the high-dimensional inverse problem of seismic tomography