4IR in Mining 2020