when they launch on official Redmi note 7