Mathematics and Computing of Uncertainty Quantification in Model-Based Simulation for Risk-Informed Decision Making