13 facts about 401(k) plans & pensions via Form 5500 data