Redmi note 9 pro 13 version July 8, 2019 16 32 64 128 Redmi note 9 pro version 13 Redmi note 9 pro 13.0.2.0 update Redmi note 9 version 13 Redmi note 9 pro 13.0.2.0 Redmi note 9 13.0.5 update