Continuum dislocation theory accounting for redundant dislocations and Taylor hardening