Different types of firms, different types of products, and their dynamics: An anatomy of China's imports