How much are government workers paid?