Discontinuities in Pension Benefit Formulas and the Spot Model of the Labor Market: Implications for Financial Economists