Xiaomi, a Chinese phone maker, sells devices running a modified version of Google's Android operating system, but without any Google services.