Android has been the top US mobile system in terms of sales figures for some time, but now it is also ahead in terms of user figures: Google’s operating system now runs on a third of all smartphones used in the US