What percentage of earnings do public sector workers contribute to pensions compared with the private sector (from the spectator)