Both redmi note 7 and note 7 pro global launching in india