Global IT spending to reach $3.7 tn in 2018: Gartner