Permanent Magnets Used in the Mining Industry