Ab initio cluster study of the interaction of fluorine and chlorine with the Si(111) surface