China’s rare earth magnet exports hit six-month high in July