What is a magnet? Definition, properties, uses, and types