Google’s Android becomes the world’s leading smart phone platform