How many phone hardware models are produced by the company named "Nokia Corporation"?
select count(*) from phone where company_name = "Nokia Corporation";