Application of a greedy algorithm to military aircraft fleet retirements