Si(111)-7 x 7 surface: Energy-minimization calculation for the dimer-adatom-stacking-fault model.