Portfolio Credit Risk Model with Extremal Dependence of Defaults and Random Recovery