About 154,000 federal workers took Trump administration’s buyout offers, source says