NBC: Trump administration begins laying off more than 4,000 federal workers amid government shutdown, court filing shows