i wanted to know if redmi note 13 pro 5G hyper os 3 is in development or the development starts after the global release