Africa's mining sector uses digital technology to modernise and attract investors