Consideration on informatization and?industrialization deep integration of coal industry under background of “internet +”