Underground mine tunnel, mining industry