The US adds China’s biggest computer chip-maker SMIC to a list of “Chinese military companies”.