Білецький В.С. (ред.): Гірничий енциклопедичний словник