Redmi K20 Pro finally official – Xiaomi’s budget range bags some Galaxy S10 and OnePlus 7 Pro specs