What the data says about federal workers