Weekly report of coal mining industry: Indonesia’s export ban gives short-term boost to coal market, and energy transformation is still the main line