Time-Inconsistent Preferences and Social Security