Från och med presentationen av den nya Redmi K20-serien av Xiaomi-undermärket undrar många vad det verkliga flaggskeppet nu är ...