Millions of government workers have pensions. Most of them are quite generous.