Xiaomi is prepping three Redmi Note 15 phones. Two go global. One stays in China. Here’s what we know—and what’s still missing.