Теорія окисно-відновних процесів. Електроліз