Gartner: Nvidia voor het eerst chipbedrijf met grootste omzet ter wereld