China's exports slow slightly in July despite robust demand for high-tech products