Top U.S. auto safety official will leave NHTSA