As mines go deeper, mining becomes more hazardous.