Mining is a dangerous industry, but here's how mobile apps can improve mining safety.