Xiaomi Redmi 9, características, ficha técnica y precio