Bayesian uncertainty quantification of residual mechanical properties post lightning strike: Stochastic multi-physical simulations of composite laminates including spatially-random void distribution | Synapse