Xiaomis mål finns nu för alla att se: det lilla företaget grundades 2010 av Lei Jun och Bin Lin har blivit på bara åtta år ...