For each main industry, what is the total number of companies for the industry with the highest total market value?
select main_industry, count(*) from company group by main_industry order by sum(market_value) desc limit 1