Find the total revenue of companies whose revenue is larger than the revenue of some companies based in Austin.
select sum(revenue) from manufacturers where revenue > (select min(revenue) from manufacturers where headquarter = 'Austin')