How are redox reactions involved in electrolysis?