China’s formerly white-hot tech sector is in the doldrums