Update mobile device detection

Sync with MobileFrontend change https://gerrit.wikimedia.org/r/#/c/61942/
* Fewer device types, less fragmentation
* Fewer regexes per request on average, less latency

Change-Id: Iff29b1ac1f7b0713cdfcf812ec9c96f71d5edb3e
Renamed incorrect carrier ID from 623-01 to 623-03

Change-Id: I0b43e9409f9b8c94f985ec5826b2325a082e086f
Merge "Renamed incorrect carrier ID from 623-01 to 623-03" into production
Merge "Update mobile device detection" into production