Lenovo became the world's top PC vendor during the quarter, according to research firm Gartner