Christopher Mims: The First Women in Tech Didn’t Leave—Men Pushed Them Out (Wall Street Journal)