How Do People Make Money on Credit Default Swaps?