Mining sector – Stepping carefully into the fourth industrial revolution