Text this: Industrial policy and semiconductors