11_environmental cost of mining