Xiaomi Mix 4 is an Android flagship unlike anything else on the market