United States Air Force Officer Manpower Planning Problem via Approximate Dynamic Programming