Global IT spending to reach $3.9 trillion in 2020: Gartner