Quantitative interpretation of impedance spectroscopy data on porous LSM electrodes using X-ray computed tomography and Bayesian model-based analysis.