Find the total revenue created by the companies whose headquarter is located at Austin.
SELECT sum(revenue) FROM manufacturers WHERE headquarter  =  'Austin'
SELECT sum(revenue) FROM manufacturers WHERE headquarter  =  'Austin'
[{'sum(revenue)': 100.0}]