An environmental degradation index based on stochastic dominance