What is the total revenue of companies with revenue greater than the lowest revenue of any manufacturer in Austin?
select sum(revenue) from manufacturers where revenue > (select min(revenue) from manufacturers where headquarter = 'Austin')