Linear programming over an infinite horizon