The US government owes federal workers almost $5 billion in back pay