Mining productivity and the fourth industrial revolution | Synapse