Gartner smartphone OS Q2 2013