Details about the Xiaomi Mix Fold 4, the Galaxy Z Fold 6’s competitor, start to leak