When redmi note 7 get MiUi 12