Contribution of the Leningrad Mining Institute to the industry and defense capability of the country during the years of Soviet industrialization