Gartner cuts projection for global IT spending to $3.74tn