Should you buy a Redmi K20 Pro in 2020? | TechRadar