Theory of cyclic voltammetry for quasi-reversible electrodeposition reactions with insoluble products