Quantifying Safety Margin Using the Risk-Informed Safety Margin Characterization (RISMC)