Research on the green and low-carbon development path of coal-based industry under the goal of “dual carbon”