What is the sum of revenue from companies with headquarters in Austin?
return companies ;return headquarters of #1 ;return #1 where #2 is  in Austin ;return revenue of #3 ;return sums of #4
['select', 'project', 'comparative', 'project', 'project']