Annual licenses, tariff carve-outs, and the problem of making chips in China