刚刚发布的iQOO NEO 10和REDMI k80大家会选哪个？