Introduction to Geometrically Nonlinear Continuum Dislocation Theory: FE Implementation and Application on Subgrain Formation in Cubic Single Crystals Under Large Strains