These workers are allowed to save $35,000 a year in their 401(k)s. Here’s how many actually do it.