State aggregation approximate dynamic programming for model-based spacecraft autonomy