Trump's federal worker "buyout" program can proceed, judge rules