Synthetic CDOs: Valuation of credit default swaps