electric magnet for rock mining mill