Xiaomi Redmi 10 ist offiziell, das sind die Details