Lançamento Xiaomi Redmi Note 9S: veja ficha técnica e preço no Brasil