Study of TEC fluctuation via stochastic models and Bayesian inversion