Green and low-carbon transformation of coal industry under the goal of “double carbon”