Importações chinesas de equipamentos para semicondutores crescem 9% em julho