Table schema:
CREATE TABLE manufacturers (revenue INTEGER, headquarter VARCHAR)

Question: Find the total revenue created by the companies whose headquarter is located at Austin.
SQL: SELECT SUM(revenue) FROM manufacturers WHERE headquarter = 'Austin'