Xiaomi Redmi 9 ganha nova versão com mais RAM e MIUI 12