Sulfur trioxide electrolysis studies: Implications for the sulfur–iodine thermochemical cycle for hydrogen production