What is the average ROM size of phones produced by the company named "Nokia Corporation"?
return phones ;return #1 produced by the  company named Nokia Corporation ;return ROM size of  #2 ;return average of  #3
['select', 'filter', 'project', 'aggregate']