electrical machine used in coal mining