quarry and mining in europe