Electricity for Mining Engineers (revised)