CIO stats: Does campus tech have a diversity problem?