electrical machines used in mines