A leak says Xiaomi’s 18 Pro could cost nearly as much as the 17 Ultra in Europe, with smaller batteries.