Texas ramping up production of semiconductors