Xiaomi Mi 10S launched: Last year's flagship gets a few upgrades