physically interpretable residual strength prediction of corroded pipelines via symbolic Bayesian networks | Synapse