High tech manufacturing: Firm size, industry and population density