What is the sum of revenue from companies with headquarters in Austin?
select sum(revenue) from manufacturers where headquarter = 'Austin'