The chemisorption of HF and F2 on the Si(100) surface