Historia górnictwa. Technika, mechanizacja, elektryfikacja