Europe's mining industry: Changing the way mines are excavated