Compare Nokia 7.2 with Xiaomi Mix 4, Xiaomi Pad 5, Xiaomi Pad 5 Pro