Portfolio credit risk with extremal dependence: Asymptotic analysis and efficient simulation