Faraday’s laws of electrolysis