How pension plans work in the USA: vesting, defined benefit formulas, lump sum vs lifetime annuity, PBGC protection, and integrating…