mining is dead 2019