Credit Derivatives: Instruments, Applications, and Pricing