A theory and a simulation capability for the growth of a solid electrolyte interphase layer at an anode particle in a Li-ion battery