Efficiency and Equity in the Time Pattern of Teacher Pension Benefits: An Analysis of Four State Systems