the environmental impact of mining stone mining what