Stratified importance sampling for a Bernoulli mixture model of portfolio credit risk