gartner smartphone marketshare q2 2013