Closed loop management in mineral resource extraction : turning online geo-Data into mining intelligence (2020)