Adaptive aggregation methods for infinite horizon dynamic programming