A non-local methodology for geometrically necessary dislocations and application to crack tips