Global market share of smartphone operating systems