Discretisation-invariant and computationally efficient correlation priors for Bayesian inversion