Fast pricing of basket default swaps