the report of half a million federal workers earning six-figure salaries