A theoretical study of the initial stages of Si(111)-7×7 oxidation. I: The molecular precursor