Redmi 9 comes to China with MIUI 12 and 4/6GB RAM options: price, specifications and sale details