A grain boundary model for gradient-extended geometrically nonlinear crystal plasticity: Theory and numerics. (July 2019)