Quantitative Modeling of Credit Derivatives