Text this: Probabilistic tomography of atmospheric parameters from GNSS data