Xiaomi’s first clamshell foldable, the Mix Flip, global price tag leaks