Luckin Coffee Files for IPO