the average salary of federal workers