Electromagnetics for Safer and Smarter Mining: From Exploration to Real-Time Operations