How many more of jobs were in manufacturing than mining?
return jobs ;return #1 in  manufacturing ;return #1 in  mining ;return number of  #2 ;return number of  #3 ;return difference of #4 and  #5
['select', 'filter', 'filter', 'aggregate', 'aggregate', 'arithmetic']