Upscaling mass and electric charge transport in porous electrodes: A formal derivation of Newman’s model | Synapse