Time Series Feature Redundancy Paradox: An Empirical Study Based on Mortgage Default Prediction