20101111 tech: Android becomes 2nd biggest smartphone OS