أرسل هذا في رسالة قصيرة: A Bayesian linear model for the high-dimensional inverse problem of seismic tomography