Xiaomi Shares World's Largest IPO of Rp 135 Trillion