Gartner: Q3 server shipments soar, HP out in front