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