пучков, электрификация горного производства