Credit default swaps with and without counterparty and collateral adjustments