Comparison of fault tree quantification between PSA programs RiskA and RiskSpectrum