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