How many different industries are the companies in?
select count(distinct industry) from companies