Гірничий енциклопедичний словник, т.8