Xiaomi, Redmi, Xiaomi Redmi 10