redmi note 10 pro vs poco f3