Redmi Note 9S launched as the global variant of the Redmi Note 9 Pro