End-user spending on cloud services to increase by 25% in 2020: Gartner