Just igår fick vi veta att Xiaomi har blivit den tredje största tillverkaren i världen enligt marknadsundersökningsorganet Gartner, efter bara Samsung ...