This CEO Just Sold His Company for $21 Billion. It Wouldn’t Have Happened Without Federally Funded Research