Is the global version for the redmi note 7/pro already available on the market?