Gartner: Mobile sales grow, Nokia's share slips