activities carried out by mining institutions or industries