The tech giant’s revenue also grew 13%, topping Wall Street’s expectations.