Towards a rigorously justified algebraic preconditioner for high-contrast diffusion problems