Linear Programming Over an Infinite Horizon