mercato dei sistemi operativi per smartphone