Elektryfikacja górnictwa