A Homogenization Theory and Its Finite Element Discretization for Nonlocal Crystal Plasticity