Termination dependence of surface stacking at 4 H -SiC ( 0001 ) − 1 × 1 : Density functional theory calculations