Global market share held by mobile operating systems 2023, by quarter