Preparing for the fourth industrial revolution: The mine of the future