3000 价位换手机，选 REDMI K100 Pro 到底踩不踩坑？