A finite strain model of stress, diffusion, plastic flow, and electrochemical reactions in a lithium-ion half-cell