A Crash Course in Teacher Pensions