Question: What is the sum of revenue from companies with headquarters in Austin?
SQL: SELECT sum(revenue) FROM manufacturers WHERE headquarter  =  'Austin'