Sub-pixel location of edges with non-uniform blurring: a finite closed-form approach