You may not know it, but mining is kind of a big deal. From communications, transportation, power, construction, agriculture, and medicine to education, entertainment, and recreation, nearly every …