4000元档旗舰怎么选？红米K100 Pro Max对比小米17，差距有点大