Elektryfikacja górnictwa zarys historyczny