Redmi note 7 pro just released in India. but is there any difference?