An Approach to Analyzing the Retirement Satisfaction among Men and Women Based on Artificial Neural Networks and Decision Trees