when will be the launching event of redmi note 7 pro in China