Christopher Mims: five of the seven most valuable companies in the world are tech companies; why was 2016 a difficult year for them?