买过红米k20和k40,准备入手一款3-4k的备用机，选择哪款比较好，大家推荐一