How many phone hardware models are produced by the company named "Nokia Corporation"?
return companies ;return phone hardware models produced by #1 ;return #2 where  #1 is  Nokia Corporation ;return number of #3
['select', 'project', 'comparative', 'aggregate']