Three Models of Retirement: Computational Complexity versus Predictive Validity