On convergent finite difference schemes for variational–PDE-based image processing