US judge allows Trump to proceed with government employee buyout