Exact discrete minimization for TV+L0 image decomposition models