Implement device identifier mapping

On iOS and Android only a `device model identifier` that is not a good display name for device models. A `device model identifier` can be mapped to corresponding device manufacturer names and device model names using official mapping tables:
- Android: https://storage.googleapis.com/play_public/supported_devices.html
- iOS: https://gist.github.com/adamawolf/3048717

This mapping needs to be done on the backend side (because otherwise mobile agent users would need to update their apps with new agent versions with each appearance of a new device on the market, which is not feasible).

One way to solve this is through a dedicated Elasticsearch ingest node processor:
- https://github.com/elastic/elasticsearch/issues/88865