electrical machines used in coal mining