Identification of the hexavacancy in silicon with the B_4^80 optical center