горная энциклопедия в пяти томах