Global-scale remote sensing of mine areas and analysis of factors explaining their extent. (January 2020)