Computing the survival probability in the Madan–Unal credit risk model: application to the CDS market