The Market for OTC Credit Derivatives∗