Find the total revenue created by the companies whose headquarter is located at Austin.
select sum(revenue) from manufacturers where headquarter = 'Austin'