Xiaomi chases specification-per-dong with a premium Xiaomi line, a mainstream Redmi line and one of the broadest smart-device ecosystems anywhere.