What are the formal oxidation numbers for the constituent atoms in HI?