9_environmental cost of mining