EO-MINERS: Monitoring the environmental and societal impact of the extractive industry using Earth Observation | IEEE Conference Publication | IEEE Xplore