redmi note 8 pro czy oppo rx17 neo