Відправити по sms: A Bayesian linear model for the high-dimensional inverse problem of seismic tomography