The Chinese coal industry :an economic history