How many phone hardware models are produced by the company named "Nokia Corporation"?
create table phone (company_name varchar, PRIMARY KEY (company_name))
select count(*) from phone where company_name = "nokia corporation"