12_environmental cost of mining