China’s Didi raises $4 billion in U.S. IPO -sources