What is the main gas produced during the electrolysis of water?