Implement device identifier mapping

[AlexanderWert]

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