Chinese RAM company CXMT makes a 4 billion stock market debut