Smart helmets, trackers, and fatigue monitors are making mining safer. Tech is being used to predict and prevent accidents before they occur.