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