Xiaomi could rebrand MIUI, a new name is on the horizon