Enhancing the accuracy of GNSS tomography with an empirical stochastic model | Synapse