Vacancy-induced 2 × 2 reconstruction of the Si-terminated 3C SiC(111) surface: ab initio calculations of the atomic and electronic structure