Portfolio Credit Risk with Extremal Dependence: Asymptotic Analysis and Efficient Simulation · Study