noise pollution in mining industry