硅谷是以矿石硅的储量和产量大而命名的吗？