China’s Luckin Coffee roasts a rich IPO