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