China's DRAM giant CXMT plans US$4.2 billion IPO on Shanghai's Star Market