Xiaomi Mix Fold4 will go global with an ultra-thin body