Title: Electricity applied to mining