Sensors and Detectors for the Mining Industry