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