Approximation results and subspace correction algorithms for implicit variational inequalities