China's high-tech PMI jumps to 53.5% as manufacturing diverges in June