Remote work is changing IT procurement priorities, according to Gartner