Safety in mining