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