Smartphone OS market share, Q2 2013